using System;
using System.Collections;
using System.Collections.Generic;

namespace SmallStepSemanticCsharp
{

     class Statement{
         public virtual bool  reducible(){return false;}
         public virtual MachineState reduce(Dictionary<string,int> env){
             return null;
         }
         public virtual bool IsNop(Statement stmt){
             return false;
         }
    }
}